КОНСТРУКТИВИЗМ (математический)


КОНСТРУКТИВИЗМ (математический)
- направление в метаматематике и построенные на его основе математические теории (конструктивная логика, конструктивная теория множеств, арифметика, анализ и т. д. и т. п.). Возникло в 40-50-е гг. XX в. в СССР как результат «скрещивания» основных математических идей интуиционизма (Л. Брауэр, Г. Гейтинг и др.) с аутентичной теорией познания марксизма, где процесс познания трактовался не как процесс пассивного отражения сознанием объекта, а как активная деятельность мышления с идеальными объектами, изоморфными по своей структуре материально-предметной деятельности человека. Наиболее видными представителями математического конструктивизма были Цейтин, Марков, Шанин, Заславский. С точки зрения конструктивистов вся классическая математика является недостаточно строгой наукой, так как основана на таких «темных» понятиях как «актуальная бесконечность», «универсальный характер законов исключенного третьего и двойного отрицания», логической непротиворечивости как необходимого и достаточного критерия существования математического объекта и т. д. Согласно конструктивистам, основным методом построения математических теорий должна быть не дедукция, а конструктивно—генетический метод, согласно которому любой математический объект и любые утверждения о нем должны быть результатом деятельности мышления по построению более сложных конструкций из более простых, по определенным, простым и легко контролируемым правилам построения — алгоритмам, позволяющим с помощью конечного числа шагов, конечного числа операций за конечное время однозначно получить итоговую конструкцию. Получил широкое признание и развитие в связи с развитием вычислительной математики и информационной техники. (См. интуиционизм, философия математики).


Философия науки: Словарь основных терминов. — М.: Академический Проект. . 2004.

Смотреть что такое "КОНСТРУКТИВИЗМ (математический)" в других словарях:

  • Конструкция (искусство) — Конструкция архитектурная и образная (на примере окна средневекового замка) Эта статья о конструкции в облас …   Википедия

  • Признаки Рейнина — (в соционике)  15 ортогональных бинарных признаков типа информационного метаболизма (социотипа) человека, обоснованные российским психологом и математиком Рейниным Григорием Романовичем. В 1980 г. Аушра Аугустинавичюте и Лариса… …   Википедия

  • Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • ИСТОРИЧЕСКИЕ ФОРМЫ НАУКИ — основные этапы развития и бытия науки как особого вида познавательной деятельности Человека, обусловленные как внутренними возможностями и закономерностями ее становления, так и влиянием со стороны социокультурного контекста, органическим… …   Философия науки: Словарь основных терминов

  • философия математики —         ФИЛОСОФИЯ МАТЕМАТИКИ отрасль философии науки, исследующая природу математических объектов и способы математических доказательств. Абстрактный характер объектов и особая убедительность доказательств математики еще в античную эпоху… …   Энциклопедия эпистемологии и философии науки

  • НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим …   Философская энциклопедия

  • Архитекторы Харькова — # А Б В Г Д Е Ё Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш …   Википедия

  • Список академических дисциплин — Эта статья содержит незавершённый перевод с иностранного языка. Вы можете помочь проекту, переведя её до конца. Если вы знаете, на каком языке написан фрагмент, укажите его в этом шаблоне …   Википедия

  • универсалии —         УНИВЕРСАЛИИ (от лат. universus целый, общий, полный).         1. По одному из оснований, имена естественного языка делят на единичные (сингулярные) и общие (универсальные). Соответствие действительности сингулярных имен сомнений не… …   Энциклопедия эпистемологии и философии науки


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.